Mutuamente excluyentes

En el ámbito de la lógica y de la teoría de la probabilidad son dos proposiciones (o eventos) que son mutuamente excluyentes o disjuntos si ambos no pueden ser verdaderos (o suceder simultáneamente), Un ejemplo de ello es el resultado de arrojar una vez una moneda, el cual solo puede ser "cara" o "cruz", pero no ambos.

En el ejemplo de la moneda, ambos resultados son en teoría, sucesos colectivamente exhaustivos, lo que quiere decir que por lo menos uno de los resultados debe suceder, por lo que estas dos alternativas comprenden todas las posibilidades.^[1]​ Sin embargo, no todos los eventos mutuamente excluyentes son exhaustivamente colectivos. Por ejemplo, los resultados 1 y 4 de una única echada de un dado de seis caras son mutuamente excluyentes, ambas no pueden suceder a la vez, pero no son colectivamente exhaustivos (existen otros resultados posibles; 2,3,5,6).

1. ↑ Miller, Scott; Childers, Donald (2012). Probability and Random Processes (Second edición). Academic Press. p. 8. ISBN 978-0-12-386981-4. «El espacio de muestra es la colección o conjunto de 'todos los posibles' resultados distintos (colectivamente exhaistivos y mutuamente excluyentes) de un experimento.»